(∞, 1)-category
#Fleeting_Notes
(∞, 1)-category((∞, 1)-圏)
Univalent Foundations
擬圏
が関係ある
メモ
『(∞, 1)-圏に対する基本的構成』
確認用
Q. (∞, 1)-category
調査用
/pogi-log/Google.icon
(∞, 1)-圏(日)
/pogi-log/Google.icon
(∞, 1)-category(英)
/pogi-log/Wikipedia.icon
(∞, 1)-圏 - Wikipedia(日)
(∞, 1)-圏(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
(∞, 1)-category - Wikipedia(英)
(∞, 1)-category(検索) - Wikipedia(英)